Daniel Kroening (Author) / Najlacnejšie knihy

Books by author Daniel Kroening

Showing 1 – 10 out of 10 results

Next

Page 1. out of 1

Previous

Sort by and show unavailable as well

  1. Decision Procedures

    Decision Procedures

    Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018


    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    35

    Buy
  2. Decision Procedures

    Decision Procedures

    Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017


    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Hardback

    47.81

    Sale 0 %
    You save 0.01 €
    Buy
  3. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.54

    Sale 7 %
    You save 4.27 €
    Buy
  4. Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2016


    In stock at our supplier - Shipping in 8 - 11 days

    Language: English

    Binding: Paperback

    51.54

    Sale 7 %
    You save 4.27 €
    Buy
  5. Validation of Evolving Software

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2015


    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    51.54

    Sale 7 %
    You save 4.27 €
    Buy
  6. Verified Software: Theories, Tools and Experiments

    Verified Software: Theories, Tools and Experiments

    Dimitra Giannakopoulou, Daniel Kroening | Springer International Publishing AG, 2014


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    49.42

    Sale 7 %
    You save 4.16 €
    Buy
  7. Digitaltechnik - Eine praxisnahe Einführung

    Digitaltechnik - Eine praxisnahe Einführung

    Armin Biere, Daniel Kroening, Georg Weissenbacher | Springer, Berlin, 2008


    In stock at our supplier - Shipping in 5 - 8 days

    Language: German

    Binding: Paperback

    28.34

    Sale 6 %
    You save 1.92 €
    Buy
  8. Computer Aided Verification

    Computer Aided Verification

    Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.54

    Sale 7 %
    You save 4.27 €
    Buy
  9. Decision Procedures

    Decision Procedures

    Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008


    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Hardback

    76.06

    Buy
  10. Computer Aided Verification

    Computer Aided Verification

    Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.54

    Sale 7 %
    You save 4.27 €
    Buy

Next

Page 1. out of 1

Previous

Results on page

Refine results

Language
  • English9
  • German1
Binding
  • Paperback7
  • Hardback3
Availability
  • Within 2 weeks7
  • Within a month3
Published
  • 20181
  • 20171
  • 20161
  • 20153
  • 20141
  • 20111
  • 20082
Price range

-



Collection points Bratislava a 12730 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: